| Model: | consensus v.1 (MDP) |
| Parameter(s) | N = 4, K = 4 |
| Property: | disagree (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m consensus.4.prism -p consensus.props --property disagree --const K=4
| Walltime: | 600.030332326889s |
| Return code: | 130 |